Translating Sentences Into Logical Expressions